Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Christophe Ringeissen »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Christophe Reffay < Christophe Ringeissen < Christophe Ritzenthaler  Facettes :

List of bibliographic references indexed by Christophe Ringeissen

Number of relevant bibliographic references: 129.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000316 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000318 (2015-09-21) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Rewriting Approach to the Combination of Data Structures with Bridging Theories
000425 (2015-08) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
000622 (2015-03) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A rule-based system for automatic decidability and combinability
000A31 (2014-07-19) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Gentle Non-Disjoint Combination of Satisfiability Procedures
000A32 (2014-07-18) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
000C18 (2014-04-05) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]On Asymmetric Unification and the Combination Problem in Disjoint Theories
000C35 (2014-04) Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
000C88 (2014-02) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Asymmetric Unification and the Combination Problem in Disjoint Theories
001040 (2013-09) Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni]Frontiers of Combining Systems
001141 (2013-06-27) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Hierarchical Combination of Unification Algorithms
001153 (2013-06-23) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
001171 (2013-06-10) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability for Theories with Counting Operators
001578 (2013) Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Hierarchical Combination
001873 (2012-11) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability for Theories Modulo Integer Offsets
001C02 (2012-03-24) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A Rule-Based Framework for Building Superposition-Based Decision Procedures
002662 (2011) Christophe Ringeissen [France] ; Valerio Senni [France]Modular Termination and Combinability for Superposition Modulo Counter Arithmetic
002815 (2011) Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]Automatic decidability and combinability
002A32 (2010-10-08) Eric Monfroy [Chili] ; Olivier Perrin [France] ; Christophe Ringeissen [France] ; Laurent Vigneron [France]A Constraint-based Approach to Web Services Provisioning
002E32 (2010-02) Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France]Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
002F08 (2010) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Christophe Ringeissen" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Christophe Ringeissen" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Christophe Ringeissen
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022